1、谓词变量
...动词 [语言学] verb◇动词不定式 infinitive; 动词处理程序 verb processor谓词变量 predicate variable谓词变项 predicate variable ...
2、[数]谓词变项
...谓词变项 predicate variable谓词常数 predicate constant谓词符号 predicate symbol ...
3、述词变数
... 述词使用 predicate use 述词变数 predicate variable 述词 / 变迁系统 predicate/transition system ...
4、述语变数
... predicate symbol 谓语符号 predicate variable 述语变数 predicate verb 谓语动词 ...